data structure:data type
data type
データ構造:データ型
abstract data type
algebraic data type
built-in type
character type
composite data type
dependent type
enumerated type
function type
intersection type
numeric type
option type
primitive type
product type
refinement type
sum type